An Inductive Modal Approach for the Logic of Epistemic Inconsistency
نویسنده
چکیده
a 6 : 1, pp. 136 – 155, 2010 AN INDUCTIVE MODAL APPROACH FOR THE LOGIC OF EPISTEMIC INCONSISTENCY 1
منابع مشابه
Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach
We study peer-to-peer data integration, where each peer models an autonomous system that exports data in terms of its own schema, and data interoperation is achieved by means of mappings among the peer schemas, rather than through a global schema. We propose a multi-modal epistemic semantics based on the idea that each peer is conceived as a rational agent that exchanges knowledge/belief with o...
متن کاملA Modal Logic for Reasoning about Possibilistic Belief Fusion
In this paper, we propose a modal logic for reasoning about possibilistic belief fusion. This is a combination of multiagent epistemic logic and possibilistic logic. We use graded epistemic operators to represent agents’ uncertain beliefs, and the operators are interpreted in accordance with possibilistic semantics. We employ ordered fusion based on a level skipping strategy to resolve the inco...
متن کاملTotal Public Announcements
We present a dynamic epistemic logic for knowledge change of rational agents. Existing approaches only deal with partial public announcements, that means an announcement may lead to an inconsistent state. We introduce an extension of the multi-modal logic S5n featuring total public announcements where an update cannot result in an inconsistency. We also study total public announcements in the c...
متن کاملBilattice Public Announcement Logic
Building on recent work on bilattice modal logic and extensions of public announcement logic to a non-classical setting, we introduce a dynamic epistemic logic having the logic of modal bilattices as propositional support. Bilattice logic is both inconsistency-tolerant and paracomplete, thus suited for applications in contexts with multiple sources of information, where one may have to deal wit...
متن کاملProject Report KNOWLEDGE IN DIFFERENT SYSTEMS OF MODAL LOGIC 15-816 Modal Logic
Modal logic is used by game theorists in the form of epistemic modal logic, where the operator is interpreted as a knowledge operator. This is useful because it allows the knowledge of players in games to be formalized and included in models of games. Then outcomes can be characterized by this knowledge, leading to theorems of the form “in games of type x, if all players have knowledge y, then ...
متن کامل